compound
\\[0ex]EquivRel($T$;$R$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$refl($T$;$R$) \& trans($T$;$R$) \& sym($T$;$R$)